Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
511	Quoc-Sang Phan Contact Information Theoretical Computer Science group Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-02-13 17:05:24 Quicken Interchange Format Ames Research Center Computer science Phan Pathfinder Theoretical computer science Science Computing California Java Pathfinder Dagstuhl Model checking
512	Providing Timing Computations for FUJABA∗ Tobias Eckardt, Christian Heinzemann Software Engineering Group, Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:47 Uppaal Model Checker Transmission Control Protocol Server Internet protocol suite Model checking DBm Client-side Computing Science Model checkers Clock Horology
513	1 INDEX PREFACE ............................................................................................................ 3 GENERAL INFORMATION ....................................................................... Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2012-08-09 12:18:26 Bir-Hakeim Model checking Gare du Champ de Mars Champ de Mars Eiffel Tower Arts et Métiers Réaumur – Sébastopol Eiffel Education Grandes écoles Software engineering Conservatoire National des Arts et Métiers
514	Concurrent Bounded Model Checking Quoc-Sang Phan Pasquale Malacaria ˘ areanu Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Logic in computer science Electronic design automation NP-complete problems Model checking Java Pathfinder Satisfiability Modulo Theories Concolic testing KeY Theoretical computer science Applied mathematics Mathematics
515	Monotonicity in SharedMemory Program Verification Alexander Kaiser Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It Add to Reading List Source URL: www.cprover.org Language: English - Date: 2014-06-22 11:48:59 Model checking Thread Monotonic function Abstraction Mathematical analysis Concurrent computing Computing
516	Knowledge, Belief, Probabilities, Updates, Model Checking Jan van Eijck CWI & ILLC, Amsterdam LoLaCo Guest Lecture, Nov 17, 2014 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 04:48:09 Philosophy of mathematics Statistical inference Bayesian statistics Probability interpretations Artificial intelligence Statistical hypothesis testing Bayesian probability German tank problem Epistemic modal logic Statistics Science Logic
517	Belief, Probabilities, Updates, and Model Checking Jan van Eijck CWI & ILLC, Amsterdam October 2, 2014 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 03:26:40 Modal logic Knowledge Epistemology Epistemic modal logic Logic Branches of philosophy Philosophy Science
518	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@ Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2007-03-11 23:28:24 Random walk Action Model checking Information Communications protocol
519	Practical Model-Checking Method for Verifying Correctness of MPI Programs Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Robert Palmer1 , Rajeev Thakur2 , and William Gropp2 1 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-07-26 13:39:22 Parallel computing Application programming interfaces Model checking MPICH Application checkpointing Promela ISP Thread ISP Formal Verification Tool Computing Computer programming Software
520	Int J Softw Tools Technol Transfer DOIs10009REGULAR PAPER The common aspect proof environment Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-06-27 10:17:59 Aspect-oriented programming Java Pathfinder AspectJ Join point Spring Framework Formal verification Model checking AIDA Programming tool Software development Software Aspect-oriented software development

UPDATE